Nuprl Definition : mk-ma
0,22
postcript
pdf
mk-ma(
ds
;
da
;
init
;
pre
;
ef
;
send
;
frame
;
sframe
;
aframe
;
bframe
;
rframe
)
== <
ds
,
da
,
init
,
pre
,
ef
,
send
,
frame
,
sframe
,
aframe
,
bframe
,
rframe
,
>
latex
Definitions
<
a
,
b
>
,
FDL editor aliases
mk-ma
origin